4

Model checking aircraft controller software: a case study

Year:
2015
Language:
english
File:
PDF, 2.78 MB
english, 2015
21

Quantitative risk analysis of safety–critical embedded systems

Year:
2017
Language:
english
File:
PDF, 2.23 MB
english, 2017